Integrating SCOOP into EVE
نویسندگان
چکیده
SCOOP (Simple Concurrent Object-Oriented Programming) is a simple but very powerful O-O contract based framework for concurrent programming. The idea which was initially published in 1990 has since been developed to a comprehensive model with enriched type system, generalized semantics of contracts, flexible locking policy and library implementation. To use SCOOP one important step is missing: The integration in Eiffel – which defines the scope of the presented work. In this master thesis we integrate SCOOP into EVE – a research branch of EiffelStudio. The goal is to get SCOOP code compiled in EVE like any other Eiffel program. To achieve this goal, we change the parser, perform a AST to AST transformation and integrate the whole SCOOP compilation into the existing EVE compiler. Integrating SCOOP into EVE 3
منابع مشابه
Beyond scoops to best practices
Authors submitting a manuscript to eLife are encouraged to upload it to a recognized preprint server at the same time in order to make their results available as quickly and as widely as possible.
متن کاملOn the Veri cation of SCOOP Programs
In this paper we focus on the development of a toolbox for the veri cation of programs in the context of SCOOP an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Ei el and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrating a...
متن کاملOn the Verification of SCOOP Programs
In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP – an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Eiffel and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrati...
متن کاملParallel Optimisation in the SCOOP Library
This paper shows how parallelism has been integrated into SCOOP, a C++ class library for solving optimisation problems. After a description of the modeling and the optimisation parts of SCOOP, two new classes that permit parallel optimisation are presented: a class whose only purpose is to handle messages and a class for managing optimiser and message handler objects. Two of the most interestin...
متن کاملScoop: a hybrid, adaptive storage policy for sensor networks
One problem with existing store-and-query sensor networks is that they fail to take data and query rates or network topology information into account. This leads to expensive (and avoidable) communication overhead that reduces the lifespan of battery-powered sensor networks. Scoop reduces this overhead (up to a factor of four in our experiments) by dynamically creating and adapting an in-networ...
متن کامل